A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
نویسندگان
چکیده
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models a functional logic program. Consequently, our assessment is independent of any specific language implementation or computing environment. We define several criteria for measuring the cost of a computation: number of steps, number of function applications, and pattern matching effort. Most importantly, we express the cost of each criterion by means of recurrence equations over algebraic data types, which can be automatically inferred from the partial evaluation process itself. In some cases, the equations can be solved by transforming their arguments from arbitrary data types to natural numbers. In other cases, it is possible to estimate the improvement of a partial evaluation by analyzing the associated cost recurrence equations.
منابع مشابه
A Formal Approach for Reasoning about theE ectiveness of Partial Evaluation ?
The motivation of partial evaluation is to improve eeciency while preserving program meaning. Rather surprisingly, relatively little attention has been paid to the development of formal methods for reasoning about the eeectiveness of this program transformation|usually, only experimental tests on particular languages and compilers are undertaken. In this work, we present a formal approach for m...
متن کاملInteraction of reasoning ability and training intervention in reaction to training evaluation and post training effectiveness.
It has been shown that learners' abilities interact with the type of training intervention and effect on training and its outcomes. For this reason, the current research investigated the interaction of reasoning ability with two training methods, namely deductive and empirical methods, in effect on reaction to training evaluation and post training effectiveness. This research was an applied an...
متن کاملInteraction of reasoning ability and training intervention in reaction to training evaluation and post training effectiveness.
It has been shown that learners' abilities interact with the type of training intervention and effect on training and its outcomes. For this reason, the current research investigated the interaction of reasoning ability with two training methods, namely deductive and empirical methods, in effect on reaction to training evaluation and post training effectiveness. This research was an applied an...
متن کاملThe Effect of Bayesian Reasoning Training on the Results of Clinical Reasoning Tests of Interns
Introduction: Clinical reasoning includes a range of thinking about clinical medicine at all stages of patient evaluation. Bayesian theory can be used to refute or confirm differential diagnoses in the clinical reasoning process. In this way, by learning the basic mathematical language of probability in medicine, we can change our beliefs according to new evidence. The aim of this study is to i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000